菲尔兹奖得主：AI现在主要靠“抬杠”突破重大数学猜想

菲尔兹奖得主Timothy Gowers指出，当前AI在数学领域的重要突破多集中于构造反例或特殊对象，如推翻Erdős单位距离猜想、雅可比猜想相关问题、构造非sofic群等，其优势在于跨领域知识调用与低成本海量尝试，而非传统证明；AI擅长回答‘是否存在某个对象’这类存在性问题。